Mikulás, Szabolcs: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Relational lattices: From databases to universal algebra

Litak, Tadeusz, Mikulás, Szabolcs, Hidders, Jan

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.53 MB

english, 2015

2

Domain and range for angelic and demonic compositions

Jackson, Marcel, Mikulás, Szabolcs

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

File:

PDF, 545 KB

2019

3

Notions of density that imply representability in algebraic logic

Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi, András Simon

Journal:

Annals of Pure and Applied Logic

Year:

1998

Language:

english

File:

PDF, 5.64 MB

english, 1998

4

Cylindric structures and dependencies in relational databases

Ivo Düntsch, Szabolcs Mikulás

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 162 KB

english, 2001

5

Lambek Calculus and its relational semantics: Completeness and incompleteness

Hajnal Andréka, Szabolcs Mikulás

Journal:

Journal of Logic, Language and Information

Year:

1994

Language:

english

File:

PDF, 1.63 MB

english, 1994

6

Axiomatizing complex algebras by games

Ian Hodkinson, Szabolcs Mikulás, Yde Venema

Journal:

Algebra Universalis

Year:

2001

Language:

english

File:

PDF, 196 KB

english, 2001

7

Representable semilattice-ordered monoids

Robin Hirsch, Szabolcs Mikulás

Journal:

Algebra Universalis

Year:

2007

Language:

english

File:

PDF, 343 KB

english, 2007

8

Axiomatizability of positive algebras of binary relations

Hajnal Andréka, Szabolcs Mikulás

Journal:

Algebra Universalis

Year:

2011

Language:

english

File:

PDF, 1.76 MB

english, 2011

9

Axiomatizability of reducts of algebras of relations

Ian Hodkinson, Szabolcs Mikulás

Journal:

Algebra Universalis

Year:

2000

Language:

english

File:

PDF, 216 KB

english, 2000

10

An Elementary Construction for a Non-elementary Procedure

Maarten Marx, Szabolcs Mikulás

Journal:

Year:

2002

File:

PDF, 595 KB

2002

11

Axiomatizability of representable domain algebras

Robin Hirsch, Szabolcs Mikulás

Journal:

The Journal of Logic and Algebraic Programming

Year:

2011

Language:

english

File:

PDF, 517 KB

english, 2011

12

The equational theory of Kleene lattices

Hajnal Andréka, Szabolcs Mikulás, István Németi

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 288 KB

english, 2011

13

Ordered domain algebras

Hirsch, Robin, Mikulás, Szabolcs

Journal:

Journal of Applied Logic

Year:

2013

Language:

english

File:

PDF, 203 KB

english, 2013

14

[IEEE 2009 16th International Symposium on Temporal Representation and Reasoning (TIME) - Bressanone-Brixen, Italy (2009.07.23-2009.07.25)] 2009 16th International Symposium on Temporal Representation and Reasoning - Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time

Mikulas, Szabolcs, Reynolds, Mark, French, Tim

Year:

2009

Language:

english

File:

PDF, 364 KB

english, 2009

15

Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics

Mikulás, Szabolcs

Journal:

Year:

2015

Language:

english

File:

PDF, 533 KB

english, 2015

16

Undecidable Relativizations of Algebras of Relations

Szabolcs Mikulás and Maarten Marx

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 305 KB

english, 1999

17

The equational theories of representable residuated semigroups

Mikulás, Szabolcs

Journal:

Year:

2015

Language:

english

File:

PDF, 239 KB

english, 2015

18

POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS

HIRSCH, ROBIN, MIKULÁS, SZABOLCS

Journal:

The Review of Symbolic Logic

Year:

2011

Language:

english

File:

PDF, 216 KB

english, 2011

19

On canonicity and completions of weakly representable relation algebras

Hodkinson, Ian, Mikulás, Szabolcs

Journal:

Journal of Symbolic Logic

Year:

2012

Language:

english

File:

PDF, 1.16 MB

english, 2012

20

Decidability of cylindric set algebras of dimension two and first-order logic with two variables

Marx, Maarten, Mikulás, Szabolcs

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 684 KB

english, 1999

21

The algebra of functions with antidomain and range

Hirsch, Robin, Jackson, Marcel, Mikulás, Szabolcs

Journal:

Journal of Pure and Applied Algebra

Year:

2016

Language:

english

File:

PDF, 639 KB

english, 2016

22

Complexity of equational theory of relational algebras with standard projection elements

Mikulás, Szabolcs, Sain, Ildikó, Simon, András

Journal:

Year:

2015

Language:

english

File:

PDF, 578 KB

english, 2015

23

The finite representation property for composition, intersection, domain and range

McLean, Brett, Mikulás, Szabolcs

Journal:

International Journal of Algebra and Computation

Year:

2016

Language:

english

File:

PDF, 247 KB

english, 2016

24

Special Issue on Decompositions of First-Order Logic || Taming Logic

Maarten Marx, Szabolcs Mikulás and István Németi

Journal:

Journal of Logic, Language and Information

Year:

1995

Language:

english

File:

PDF, 1.83 MB

english, 1995

25

Many-Dimensional Logical Systems || An Elementary Construction for a Non-Elementary Procedure

Maarten Marx and Szabolcs Mikulás

Journal:

Year:

2002

Language:

english

File:

PDF, 1.31 MB

english, 2002

26

Bioenergetic Impairment of Triethylene Glycol Dimethacrylate- (TEGDMA-) Treated Dental Pulp Stem Cells (DPSCs) and Isolated Brain Mitochondria are Amended by Redox Compound Methylene Blue â

MikulÃ¡s, Krisztina, KomlÃ³di, Timea, FÃ¶ldes, Anna, SvÃ¡b, Gergely, HorvÃ¡th, GergÅ, Nagy, ÃdÃ¡m MiklÃ³s, Ambrus, Attila, Gyulai-GaÃ¡l, Szabolcs, Gera, IstvÃ¡n, Hermann, PÃ©ter, Varga, GÃ¡bor, Tret

Journal:

Year:

2020

File:

PDF, 1.30 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски